Structure and Behaviour in
نویسنده
چکیده
In this paper we review how hardware has been described in the formal hardware veriication community. Recent developments in hardware description are evaluated against the background of the use of hardware description languages, and also in relation to programming languages. The notions of structure and behaviour are crucial to this discussion.
منابع مشابه
Effects of Flow Hydraulics, Pipe Structure and Submerged Jet on Leak Behaviour
The aim of this paper is numerical and experimental study of the effects of flow hydraulics, pipe structure (particularly elastic behaviour) and submerged jet on leak behaviour. In this regard, experimental tests were performed on a high-pressure circulation set up. Experiments were performed on an old steel pipe and a High Density Polyethylene (HDPE) pipe discharged to the atmosphere in a wide...
متن کاملSYNTHESIS, CHARACTERIZATION AND CATALYTIC BEHAVIOUR OF SPECIAL TYPE OF SILICO ALUMINO-PHOSPHATE WITH OPAL STRUCTURE
In this study a special type of silicoaluminophosphate with opal structure (Opal-SAPO) was prepared under microwave condition using tetraethylorthosilicate (TEOS), triethanolamine (TEA), aluminiumisopropoxid and phosphoric acid 85%. The product was characterized by X-ray diffraction (XRD), thermogravimetric (TGA) and Fourier Infrared Spectroscopy (FTIR).The crystalline product showed a good act...
متن کاملDynamic behaviour of ground-supported tanks considering fluid-soil-structure interaction (Case study: southern parts of Tehran)
Regarding the importance of the prevention of hazards and adverse environmental impacts in industrial and populated areas such as southern parts of Tehran city, the response of impulsive period ground-supported tanks were assessed. Having considered the study area's soil properties, the response of ground-supported tanks was modelled. Regarding the soil properties of southern parts of Tehran, t...
متن کاملDynamic behaviour of ground-supported tanks considering fluid-soil-structure interaction (Case study: southern parts of Tehran)
Regarding the importance of the prevention of hazards and adverse environmental impacts in industrial and populated areas such as southern parts of Tehran city, the response of impulsive period ground-supported tanks were assessed. Having considered the study area's soil properties, the response of ground-supported tanks was modelled. Regarding the soil properties of southern parts of Tehran, t...
متن کاملNumerical Investigation of Rail Bending Behaviour Focusing on the Effect of Track Modulus
Thorough understanding of steel rail response to wheel load is a key step towards design and evaluation of the railway track structure. In current practice, maximum vertical deflection and bending moment are calculated using the theory of infinite beam on continuous elastic foundation (Winkler model), in which the foundation stiffness is assumed as constant. However, variation of track modulus ...
متن کاملPHASE STABILITY AND SEMICONDUCTING BEHAVIOUR OF LOW ACTIVATION AUSTENITIC MN-CR STEELS
Four compositions of austenitic Mn-Cr steels have been developed successfully for in-vessel component materials in power plant industry. The phase stability of these Mn-Cr steels was studied by and X-ray diffraction (XRD) patterns. XRD patterns have shown that the matrix of these Mn-Cr steels is a single γ-phase structure. The potentiodynamic polarisation curves suggested that these fabricated ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993